141. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
142. Formal techniques for safety-critical systems :
پدیدآورنده : Cyrille Artho, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Systems engineering, Congresses.,Formal methods (Computer science),System safety.,Systems engineering.
رده :
QA76
.
9
.
F67
143. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
144. #Fractals and chaos in chemical engineering
پدیدآورنده : #editors, M. Giona, G. Biardi
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Chemical engineering- Mathematical models- Congresses ،Fractals- Congresses ،Chaotic behavior in systems- Congresses
رده :
#
TP
،#.
F73
،#
1996
145. Future Information Technology :
پدیدآورنده : James J. (Jong Hyuk) Park, Ivan Stojmenovic, Min Choi, Fatos Xhafa, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information technology, Congresses,Communications Engineering, Networks,Information Systems and Communication Service,Multimedia Information Systems
رده :
T58
.
5
.
I58
2012
146. Future Information Technology : FutureTech 2013
پدیدآورنده : James J Park; Ivan Stojmenovic ; Min Choi; Fatos Xhafa
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Information technology,، Communications Engineering, Network,، Information Systems and Communication Service
رده :
T58
.
5
147. Future communication, computing, control and management
پدیدآورنده : / Ying Zhang (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer networks--Congresses,Automation--Congresses,Mobile communication systems--Congresses,Reliability (Engineering)--Congresses
رده :
TK5105
.
5
.
I5857
2012
148. Future communication, computing, control and management
پدیدآورنده : Ying Zhang (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automation, Congresses,Computer networks, Congresses,Mobile communication systems, Congresses,Reliability (Engineering), Congresses
رده :
TK5105
.
5
.
I5857
2012eb
149. Future communication technology and engineering
پدیدآورنده : editor, Kennis Chan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Electrical engineering, Congresses.,Telecommunication systems, Congresses.
150. Geographic information systems and their application in geotechnical earthquake engineering : proceedings of a workshop, Penta Hotel, Atlanta, Georgia, January 29-30, 1993
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Engineering geology-- Congresses,، Earthquake engineering-- Congresses,، Geographic information systems-- Congresses
رده :
TA
703
.
5
.
G43
1993
151. Geographic information systems and their application in geotechnical earthquake engineering : proceedings of a workshop, Penta Hotel, Atlanta, Georgia, January 29-30, 1993
پدیدآورنده : sponsored by the National Science Foundation through the Earthquake Hazard Mitigation Program and the Geomechanical, Geotechnical, and Geo-Environmental Systems Program ; edited by J. David Frost and Jean-Lou A. Chameau
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Engineering geology - Congresses , Earthquake engineering - Congresses , Geographic information systems - Congresses
رده :
TA
703
.
5
.
G43
1993
152. Geographic information systems and their applications in geotechnical earthquke engineering: proceedings of a workshope
پدیدآورنده : sponsored by the National Science Foundation through the Earthquake Hazard Mitigation Program and the Geomechanical, Geotechnical and Geo-Environmental Systems Program; edited by J. David Frost and Jean-Lou A. Chameau
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Engineering geology- Congresses,، Earthquake engineering- Congresses,، Geographic information systems- Congresses
رده :
TA
703
.
5
.
G43
1993
153. Geospatial technologies for all :
پدیدآورنده : Ali Mansourian, Petter Pilesjö, Lars Harrie, Ron van Lammeren, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Geographic information systems, Congresses.,Geospatial data, Congresses.,Environmental science, engineering & technology.,Geographic information systems.,Geographical information systems (GIS) & remote sensing.,Geospatial data.,Information technology: general issues.,SCIENCE-- Earth Sciences-- Geography.,TRAVEL-- Budget.,TRAVEL-- Hikes & Walks.,TRAVEL-- Museums, Tours, Points of Interest.,TRAVEL-- Parks & Campgrounds.
رده :
G70
.
212
154. Geotechnical application of remote sensing and remote data transmission
پدیدآورنده : A symposium sponsord by ASTM committee D-18 on soil and rock cocoa beach, Fla, 31 Jan.-1 Feb.1986
موضوع : Engineering geology--Remote sensing - Congresses,Data transmission systems - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
155. Geotechnical applications of remote sensing & remote data
پدیدآورنده : JOHNSON,ARNOLD IVAN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ENGINEERING GEOLOGY-REMOTE SENSING- , DATA TRANSMISSION SYSTEMS-CONGRESSES
رده :
TA
703
.
5
.
G46
1986
156. Green intelligent transportation systems :
پدیدآورنده : Wuhong Wang, Klaus Bangler, Xiaobei Jiang, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Green technology, Congresses.,Intelligent transportation systems, Congresses.,Automotive Engineering.,Industrial and Production Engineering.,Transportation Technology and Traffic Engineering.,Transportation.,Automotive technology & trades.,BUSINESS & ECONOMICS / Industries / Transportation.,Green technology.,Highway & traffic engineering.,Intelligent transportation systems.,Power generation & distribution.,Production engineering.,TRANSPORTATION / Public Transportation.
رده :
TE228
.
3
157. Hardware/software codesign : proceedings of the Ninth International Symposium on Hardware/Software Codesign : CODES 2001 : April 25-27, 2001, Copenhagen, Denmark
پدیدآورنده : Sponsored by ACM SIGDA, ...]et al.[; with support by Codence...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer-aided design,Congresses ، Systems engineering,Congresses ، System design
رده :
QA
76
.
9
.
S88I565
2001
158. Human factors in alarm desig
پدیدآورنده : / edited by Neville Stanton
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electric alarms--Psychological aspects--Congresses,Human-machine systems--Congresses,Human engineering--Congresses
رده :
TK
,
7241
,.
H86
,
1994eb
159. Human factors in alarm design /
پدیدآورنده : edited by Neville Stanton.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electric alarms-- Psychological aspects, Congresses.,Human engineering, Congresses.,Human-machine systems, Congresses.,Design, konferenser.,Electric alarms-- Psychological aspects.,Ergonomi, konferenser.,Human engineering.,Human-machine systems.,Larmsystem-- psykologiska aspekter, konferenser.,TECHNOLOGY & ENGINEERING-- Industrial Health & Safety.
رده :
TK7241
.
H86
1994eb
160. Hydroinformatics '94: proceedings of the first International Conference on Hydroinformatics, Delft, Netherlands, 19-23 September 1994
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Hydraulics-- Data processing,Congresses ، Hydraulic engineering-- Data processing,Congresses ، Hydrology-- Data processing,Congresses ، Geographic information systems
رده :
TC
163
.
I552
1994
